Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
821	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
822	A Temporally-Enhanced PowerAnswer in TRECDan Moldovan, Mitchell Bowden and Marta Tatu Language Computer Corporation Richardson, Texas 75080 Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:43 Linguistics Information science Information retrieval Logic form Question answering Open domain question answering EXtended WordNet Question Textual entailment Computational linguistics Natural language processing Science
823	1 Under consideration for publication in J. Functional Programming Implementing a Normalizer Using Sized Heterogeneous Types Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-03-18 13:55:26 Lambda calculus Type theory Computability theory Symbol System F Constructible universe Ordinal number Function Combinatory logic Mathematics Mathematical logic Theoretical computer science
824	What’s in a code? Towards a formal account of the relation of ontologies and coding systems (corrected version) Alan L Rector MD PhD School of Computer Science, University of Manchester, Manchester, England M13 9PL cit Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-10-05 09:46:48 Information science Semantic Web Technical communication Knowledge representation SNOMED CT Web Ontology Language Description logic Open Biomedical Ontologies Knowledge representation and reasoning Ontology Information Science
825	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
826	OctoberReport No. STAN-CSProgramming and Proving with Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-03 21:37:12 Programming paradigms Logic in computer science Programming language semantics Abstraction Data management Functional programming Lisp Operational semantics Continuation Software engineering Computer programming Computing
827	CS61CL Machine Structures Lec 8 – State and Register Transfers David Culler Electrical Engineering and Computer Sciences University of California, Berkeley Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2009-10-21 17:45:09 Electronic design Combinational logic Logic in computer science C31 Adder B31 Propagation delay F9 Electronic engineering Digital electronics Electronic design automation
828	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
829	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
830	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science

UPDATE